Data structures

Results: 1048



#Item
301

Modular Reasoning about Separation for Concurrent Data Structures Kasper Svendsen, Lars Birkedal, Matthew Parkinson March 20, 2013

Add to Reading List

Source URL: www.kasv.dk

Language: English - Date: 2014-07-18 10:38:56
    302

    Wander Types - Realizing Data Structures Through Coinduction-Recursion

    Add to Reading List

    Source URL: www.duplavis.com

    Language: English - Date: 2012-05-09 11:32:35
      303

      Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

      Add to Reading List

      Source URL: www.sci.unich.it

      Language: English - Date: 2013-09-28 05:09:03
        304

        Finding Low-Utility Data Structures Guoqing Xu Nick Mitchell Matthew Arnold

        Add to Reading List

        Source URL: web.cse.ohio-state.edu

        Language: English - Date: 2010-04-13 10:08:00
          305

          LVars: Lattice-based Data Structures for Deterministic Parallelism Lindsey Kuper Ryan R. Newton

          Add to Reading List

          Source URL: www.cs.indiana.edu

          Language: English - Date: 2013-07-28 16:11:31
            306

            Brief Announcement: SplayNets Towards Self-Adjusting Distributed Data Structures Stefan Schmid1 , Chen Avin2 , Christian Scheideler3 , Bernhard Haeupler4 , Zvi Lotker2 1

            Add to Reading List

            Source URL: www.cs.uni-paderborn.de

            Language: English
              307

              Notes on Data Structures and Programming Techniques (CPSC 223, SpringJames Aspnes29T08:59:Contents

              Add to Reading List

              Source URL: www.cs.yale.edu

              Language: English - Date: 2015-04-29 08:59:52
                308

                Modular Reasoning about Separation of Concurrent Data Structures Kasper Svendsen1 , Lars Birkedal1 , and Matthew Parkinson2 1 2

                Add to Reading List

                Source URL: www.kasv.dk

                Language: English - Date: 2014-07-18 10:41:15
                  309

                  Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  Language: English - Date: 2013-07-17 03:25:30
                    310

                    Summer Specialist (Customer Experience) (Asia Miles Limited) About the Role To support the growth and on-going development of tools and data structures for the Customer Experience team, a relatively new capability within

                    Add to Reading List

                    Source URL: downloads.asiamiles.com

                    Language: English - Date: 2015-06-15 05:15:28
                      UPDATE